From da657a9c3ade636b95152f97ea312332621ed7ef Mon Sep 17 00:00:00 2001
From: "ach61@arcadians.cl.cam.ac.uk" <ach61@arcadians.cl.cam.ac.uk>
Date: Tue, 28 Jun 2005 10:20:33 +0000
Subject: [PATCH] bitkeeper revision 1.1764 (42c12471iroiktRDv2QDqEDoIQVDNg)

comments
---
 tools/debugger/pdb/Xen_domain.ml     |  8 ++++++++
 tools/debugger/pdb/Xen_domain.mli    |  8 ++++++++
 tools/debugger/pdb/pdb_caml_evtchn.c |  8 ++++++++
 tools/debugger/pdb/pdb_caml_xcs.c    | 11 +++++++----
 tools/debugger/pdb/pdb_caml_xen.h    |  8 ++++++++
 tools/debugger/pdb/xcs.mli           |  8 ++++++++
 6 files changed, 47 insertions(+), 4 deletions(-)

diff --git a/tools/debugger/pdb/Xen_domain.ml b/tools/debugger/pdb/Xen_domain.ml
index d014466448..aeb22307c4 100644
--- a/tools/debugger/pdb/Xen_domain.ml
+++ b/tools/debugger/pdb/Xen_domain.ml
@@ -1,3 +1,11 @@
+(** Xen_domain.ml
+ *
+ *  domain assist for debugging processes
+ *
+ *  @author copyright (c) 2005 alex ho
+ *  @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
+ *  @version 1
+ *)
 
 type context_t =
 {
diff --git a/tools/debugger/pdb/Xen_domain.mli b/tools/debugger/pdb/Xen_domain.mli
index f99df1fd66..ae334dcef5 100644
--- a/tools/debugger/pdb/Xen_domain.mli
+++ b/tools/debugger/pdb/Xen_domain.mli
@@ -1,3 +1,11 @@
+(** Xen_domain.ml
+ *
+ *  domain assist for debugging processes
+ *
+ *  @author copyright (c) 2005 alex ho
+ *  @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
+ *  @version 1
+ *)
 
 type context_t
 
diff --git a/tools/debugger/pdb/pdb_caml_evtchn.c b/tools/debugger/pdb/pdb_caml_evtchn.c
index 62707739ca..8a814c3845 100644
--- a/tools/debugger/pdb/pdb_caml_evtchn.c
+++ b/tools/debugger/pdb/pdb_caml_evtchn.c
@@ -1,3 +1,11 @@
+/*
+ * pdb_caml_evtchn.c
+ *
+ * http://www.cl.cam.ac.uk/netos/pdb
+ *
+ * PDB's OCaml interface library for event channels
+ */
+
 #include <xc.h>
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/tools/debugger/pdb/pdb_caml_xcs.c b/tools/debugger/pdb/pdb_caml_xcs.c
index 61944420b2..84fba85abc 100644
--- a/tools/debugger/pdb/pdb_caml_xcs.c
+++ b/tools/debugger/pdb/pdb_caml_xcs.c
@@ -1,12 +1,15 @@
 /*
- *  xcs stuff
+ * xcs stuff
  *
- *  this is responsible for establishing the initial connection
- *  between a backend domain and the pdb server.
+ * http://www.cl.cam.ac.uk/netos/pdb
  *
- *  liberated from xu.c
+ * this is responsible for establishing the initial connection
+ * between a backend domain and the pdb server.
+ *
+ * liberated from xu.c
  *
  */
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <unistd.h>
diff --git a/tools/debugger/pdb/pdb_caml_xen.h b/tools/debugger/pdb/pdb_caml_xen.h
index b21bf938e6..2d9a160708 100644
--- a/tools/debugger/pdb/pdb_caml_xen.h
+++ b/tools/debugger/pdb/pdb_caml_xen.h
@@ -1,3 +1,11 @@
+/*
+ * pdb_caml_xen.h
+ *
+ * http://www.cl.cam.ac.uk/netos/pdb
+ *
+ * generic xen definitions
+ *
+ */
 
 #ifndef _PDB_CAML_XEN_DEFINED_
 #define _PDB_CAML_XEN_DEFINED_
diff --git a/tools/debugger/pdb/xcs.mli b/tools/debugger/pdb/xcs.mli
index 98ea606e5e..2a76edfbc3 100644
--- a/tools/debugger/pdb/xcs.mli
+++ b/tools/debugger/pdb/xcs.mli
@@ -1,3 +1,11 @@
+(** xcs.mli
+ *
+ *  xen control switch interface
+ *
+ *  @author copyright (c) 2005 alex ho
+ *  @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
+ *  @version 1
+ *)
 
 
 val setup : unit -> Unix.file_descr
-- 
2.30.2